例句與造句

1. Writing to the video RAM simply disabled the video display logic.
2. These are also called the storage layer, processing logic, and display logic.
3. Nuel Belnap proposed display logic in an attempt to characterise the essence of structural proof theory.
4. A dumb terminal can only handle display logic; processing and storage are done by the server.
5. In this respect, the view model is more model than view, and handles most if not all of the view's display logic.
6. It's difficult to find display logic in a sentence. 用display logic造句挺難的
7. Brotherston has done further significant work on a unified proof theory for bunched logic and variants, employing Belnap's notion of "'display logic . "'
8. The display logic and resulting display'snow'was irritating, as was the missing lower case support, the CPU speed could be improved, the quality and layout of the keyboard was bothersome, and the floppy disk capacity and reliability was low.
9. The Video Display Controller of the Mega Duck / Cougar Boy has one special feature, the display logic uses two " display planes " that are used to create parallax scrolling backgrounds, as if the picture is drawn on two sheets of which the top sheet is partly transparent.
10. Such an arrangement reduced the overall performance of the CPU as much as 35 % for most code as the display logic often blocked the CPU's access to RAM . This made the machine appear to run more slowly than several of its competitors, despite the nominally high clock rate.
11. Labels also allow the naming of worlds in Kripke semantics; presents an influential technique for converting frame conditions of modal logics in Kripke semantics into inference rules in a natural deduction formalisation of hybrid logic . surveys the application of many proof theories, such as Avron and Pottinger's hypersequents and Belnap's display logic to such modal logics as S5 and B.
12. The idea of looking at the syntactic features of sequents as special, non-logical operators is not old, and was forced by innovations in proof theory : when the structural operators are as simple as in Getzen's original sequent calculus there is little need to analyse them, but proof calculi of deep inference such as display logic support structural operators as complex as the logical connectives, and demand sophisticated treatment.